A Verified Algebra for Linked Data
نویسندگان
چکیده
منابع مشابه
A Verified Algebra for Linked Data
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised...
متن کاملA verified algebra for read-write Linked Data
The aim of this work is to verify an algebra for high level languages for reading and writing Linked Data. Linked Data refers to a collection of standards which aim to enhance the world’s data, by interlinking datasets through the Web. The starting point is as simple as using URIs as global identifiers in data, but the technical challenges of managing data in this distributed setting are immens...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولDesign of a parallel linear algebra library for verified computation
O6cy~g.Ra~OTC~ npMHuHnr~ nocTpoeHHfl H peamf3au.Ha6opa JiHHe~Ho-a:lre6paHqecK}lx uolmporpaMM nepeHOCUMOfi 6HrJIHOTeKI4 ~Jl~l napannenba~x gOMnhloTepoB, rIoa~.epx<anaeTca nOBTOpHOe HCHOJU~3OBaHHe Ko;aa. rloanporpaMM~ MOryT ~erKo a/laUVMpOBaThC~ K HOB1AM napa~arMaM napa~eabHoro nporpaMMHpOBaH~l~l I4 CeTeBhIM KOH~FypauH.qM. l'loanporpaMMl, i npenHa3HaqeHH 2Lrl$1 HCnOJIb3OBaHI~.q B CaMOBepxOpHu.Hpy...
متن کاملA Data Cube Algebra Engine for Data
M.L. Kersten, A.P.J.M. Siebes CWI, Amsterdam, The Netherlands M. Holsheimer , F. Kwakkel Data Distilleries, Amsterdam, The Netherlands Abstract On line data mining products, such as Data Surveyor, illustrate that an extensible architecture to accommodate a variety of mining algorithms and database interconnectivity is technically feasible. In this paper we describe the interaction between Data ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.58.2